Corroboration Strategy for Web Services Choreography using Revise Buchi Automata
نویسندگان
چکیده
منابع مشابه
Web Services Orchestration and Choreography
Web Services Orchestration and Choreography I n a recent Computer Sciences Corporation survey , 1 senior information technology executives ranked " connecting to customers, suppliers, or partners electronically " as the top global IT management issue. Web services offer standards based mechanisms for addressing this issue. However, existing methods for creating business processes are not design...
متن کاملVerifying Web Services Choreography using Dead Marking (Deceased Smearing) Algorithm
Internet is a network of interlinked computer networking worldwide, which is accessible to the general public. Web services are a method of communication between two electronic devices over the web (internet). The W3C defines a “web service” as a software system designed to support interoperable machine to machine interaction over the “network”. Web service composition provides an open, standar...
متن کاملWeb Service Choreography Verification Using Z Formal Specification
Web Service Choreography Description Language (WS-CDL) describes and orchestrates the services interactions among multiple participants. WS-CDL verification is essential since the interactions would lead to mismatches. Existing works verify the messages ordering, the flow of messages, and the expected results from collaborations. In this paper, we present a Z specification of WS-CDL. Besides ve...
متن کاملA verification strategy for web services composition using enhanced stacked automata model
Currently, Service-Oriented Architecture (SOA) is becoming the most popular software architecture of contemporary enterprise applications, and one crucial technique of its implementation is web services. Individual service offered by some service providers may symbolize limited business functionality; however, by composing individual services from different service providers, a composite servic...
متن کاملA Comparison of Visual Modeling Notations for Web Services Choreography
The Web Services Choreography Description Language (WS-CDL) is an XML-based language for specifying business protocols for \emph{web services enabled} collaborative processes. The use of visual notations in modeling web services choreography has so far been done in an ad hoc fashion as seen in the literature. This paper presents a choreography example in four different visual modeling notations...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of u- and e- Service, Science and Technology
سال: 2013
ISSN: 2005-4246,2005-4246
DOI: 10.14257/ijunesst.2013.6.5.11